package org.andes.kownledge.operator;

import java.util.List;

public abstract class NoAtom extends Term{
	public abstract List<Variable> getVars();

	

}
